문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 거짓말쟁이의 역설 (문단 편집) == 타르스키의 표준적 해결책 == [[수학]]이나 [[철학]]에서 표준적으로 받아들이는 해결책은 [[수리논리학|현대 모형 이론]]의 창시자인 알프레트 타르스키(Alfred Tarski)가 [[1933년]]에 내놓은 해결책이다. [[버트런드 러셀|러셀]]과 [[앨프리드 노스 화이트헤드|화이트헤드]]의 분지 유형 이론(ramified type theory)에 영향을 받은 타르스키 이론의 핵심 발상은 다음과 같이 거칠게 요약될 수 있다. > 1. ''''참' 술어는 언어-상대적으로 정의된다.''' > * e.g., 한국어 문장의 '참'과 영어 문장의 '참'은 별개의 술어다. > 1. '''특정 언어에 적용되는 '참' 술어는 그 언어에 포함되지 않는다.''' > * e.g., '참이다'라는 술어를 한국어 문장에 붙임으로써 그 문장이 참임을 뜻할 수 있다고 해보자. 그렇다면 '참이다'는 한국어 어휘가 될 수 없다. > 1. '''대상 언어와 메타 언어는 구분되어야 한다.''' - 한 대상 언어의 메타 언어는 그 대상 언어를 진부분으로 포함해야 한다. > * e.g., 한국어가 대상 언어일 경우, 한국어의 메타 언어는 한국어를 진부분으로 포함하며 추가적으로 '참이다' 같은 술어 또한 포함한다. 예를 들어 '눈은 하얗다'는 한국어 문장이 될 수도, 한국어의 메타 언어의 문장이 될 수도 있지만, ''눈은 하얗다'는 참이다'는 한국어의 메타 언어의 문장이지만 한국어 문장이 될 수는 없다. > 1. '''한 대상 언어의 메타 언어는 그 자체로 또다른 메타 언어를 필요로 하며, 이처럼 언어들은 계층을 이룬다.''' 분지 유형 이론이나 [[ZFC 공리계]]에서 [[러셀의 역설]]이 조기에 차단되는 것처럼 이런 타르스키식 해결책을 받아들인다면 '이 문장은 거짓이다' 같은 거짓말쟁이 역설은 애초에 발생할 수 없게 된다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기